Structural proof for synergetic behaviour in organogels: stearic acid/octadecanol

Robust organogels from nitrogen-containing derivatives of (R)-12-hydroxystearic acid as gelators: comparisons with gels from stearic acid derivatives.

Thirteen members of a new class of low molecular-mass organogelators (LMOGs), amides, and amines based on (R)-12-hydroxystearic acid (HSA; i.e., (R)-12-hydroxyoctadecanoic acid) and the properties of their gels have been investigated by a variety of structural and thermal techniques. The abilities of these LMOGs, molecules with primary and secondary amide and amine groups and the ammonium carba...

Organogels in drug delivery.

In the last decade, interest in physical organogels has grown rapidly with the discovery and synthesis of a very large number of diverse molecules, which can gel organic solvents at low concentrations. The gelator molecules immobilise large volumes of liquid following their self-assembly into a variety of aggregates such as rods, tubules, fibres and platelets. The many interesting properties of...

Structural proof theory

STRIP: Structural Sharing for Efficient Proof-Search

The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine and explicit management of formulae (as resources) based on a structural sharing and it builds, for a given formula, either a proof or a countermodel.

Proof Transformations and Structural Invariance

In this paper we define the concept of a profile, which is a characteristic clause set, corresponding to an LK-proof in first-order logic, which is invariant under rule permutations. It is shown (via cutelimination) that the profile is even invariant under a large class of proof transformations (called “simple transformations”), which includes transformations to negation normal form. As proofs ...